Nuprl Lemma : length_nil
11,40
postcript
pdf
||[]|| = 0
latex
Definitions
Y
,
||
as
||
origin
